$L$ $\vdash$fpf$\rightarrow$ $v$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$<$$L$, $\lambda$$x$.$v$$>$